pub unsafe extern "C" fn __gmpf_get_default_prec() -> mp_bitcnt_t