[waqf]

Every rational number is a p-adic number (though not necessarily a p-adic integer, of course). So doesn't that mean p-adic numbers would be below rationals?

[eru]

Sure, maybe. My broader point is that the tower would branch at some point.