十进制0.2541转换成二进制是多