add mpfr_number_p binding