[][src]Constant antic::MPFR_FLAGS_DIVBY0

pub const MPFR_FLAGS_DIVBY0: u32 = 32;