将十进制数0.71875转换成二进制数