Constant gmp_mpfr_sys::gmp::VERSION_PATCHLEVEL

pub const VERSION_PATCHLEVEL: c_int = GMP_VERSION_PATCHLEVEL; // 0i32

See: __GNU_MP_VERSION_PATCHLEVEL