Print real numbers directly from their internal representation.
This has the following benefits:
- fractional real numbers no longer have spurious zeros;
- hexadecimal real numbers now decay to decimal ones;
- integer real numbers no longer use a multiplication.