jump to corresponding sense entry
noun
A number represented in floating-point notation.
is a specific kind of: number.
Find more on floating-point number elsewhere: etymology - rhymes - Wikipedia.
debug info: 0.0242