When can you print out a floating point number in base 10 and read it back in exactly? Theorem for this and more general round-trip radix conversion.