← Back to context

Comment by eru

1 year ago

Well, you give give 1.0 for the rational one. But what about the real or complex one? Or what about the Gaussian Integer? What about the 2-adic one, or the 3-adic one, or any other p-adic one? What about the different kinds of floating point numbers?

I don't think the rational one is special enough that we need to different notation just for her and for her alone. (Though that specific distinction can make sense in some contexts. Just not universally.)