展开 十进制数25.7转换成二进制数是