"floating-point number"@en-us . .