0.875十进制转二进制是多少