十进制0.25转二进制是多