OSDN Git Service

(exact_real_inverse): New function, if REAL_ARITHMETIC.