精度保証付き数値計算

しょうもないミスを見つけてしまった。