The REAL type is implemented using the Java
java.lang.Float class and provides 23 bits of precision,
with a range of approximately 1.4e-45 to 3.4e38. The Java specification
of Float behavior is in turn based on the
IEEE-754 specification.
Also, note that implementation of this spec varies per Java platform,
so be careful when using floating point numbers!
