9.1.1 实数编码