0.252十进制转二进制