2.13 IEEE浮点数格式