带小数二进制转十进制公式是什么