for floating-point arithmetic,” ANSI/IEEE Std 7542008 (0)

by “IEEE standard