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