展开 10进制的0.25转化成二进制是多