K 10 svn:author V 7 thierry K 8 svn:date V 27 2020-04-02T16:10:45.993994Z K 7 svn:log V 92 Adding MPFI, a Multiple Precision Floating-point Interval library. To be used by SageMath. END