小数十进制转二进制公式怎么算