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