-
6 votesanswersviews
将任意精度有理数（OCaml，zarith）转换为近似浮点数
我正在使用Zarith库来执行任意精度的有理算术 . 假设我有一个 Q.t 类型的有理数 q ，它是两个大整数的比率（ Q 是Zarith的任意精度有理数模块） . 有时，为了便于阅读，我想将此数字打印为浮点数，有时我需要将此数字浮点数转换为以后的非任意精度计算 . 有没有办法将 q 转换为浮点数达到一定的精度？ 我将 q 转换为浮点的方式现在无法保证，并且可以创建未定义的浮点数（ Z 是任意精度...