十进制0.25转化成二进制是多少