a FloatNumber stores its value as a double precision float instead of single precision one