sig val prec : int val mode : Mpfr.rounding_mode end