double-precision number