⁴There is a slightly newer standard, IEEE 854. It is a generalization of IEEE 754.