754-1985 for binary floating-point arithmetic (1987)

by IEEE standard