The decimal representation of real numbers isn’t unique, so this could tell me that “2 = 1.9999…” is odd.

I don’t think your belief holds water. By definition an even number, once divided by 2, maps to an integer. In binary representations, this is equivalent to a right shift. You do not get a rounding error or decimal parts.

But this is nitpicking a tongue-in-cheek comment.