double-precision floating-point values Synonyms

floating-point number