小数点二进制转八进制公式是什么