ググってみた。
面白そうだが、

精度保証付き数値計算　C++ライブラリ

でググってもライブラリが見つからん。