ExactDoubleFastライブラリの実装．Predicates用の高速な無誤差演算ライブラリ