INTEGER_64 numbers do not work correctly or maybe they just don't
print correctly.

Discovered in Release 5.0.032.