The DOUBLE type is implemented using the Java
java.lang.Double class and provides 53 bits of precision,
with a range of approximately 4.9e-324 to 1.8e308. The Java specification
of Double behavior is in turn based on the
IEEE-754 specification.
Note that implementation of this spec varies per Java platform,
so be careful when using floating point numbers!
