展开 十进制0.25转化为二进制是多