gmp_mpfr_sys::mpfr
pub const VERSION_PATCHLEVEL: c_int = MPFR_VERSION_PATCHLEVEL; // 0i32
See: MPFR_VERSION_PATCHLEVEL
MPFR_VERSION_PATCHLEVEL