번외. IEEE 754