10进制的0.25转化成二进制是多少