3.5.3 IEEE 754浮点数标准