They were introduced in IEEE 754.
これは IEEE 754 で導入された。