Make REAL type include whole 64-bit floating point range