[sidpatil]

What if a is negative?

[ilius2]

Same. Unless you want to differentiate -0 and +0 (which make it more complicated), you can not distinguish infinity from negative infinity.

[jsnedjdn]

IEEE floating point representation does both

[HappMacDonald]

John Conway can