pub const mp_round_mode_MP_ROUND_HALF_UP: mp_round_mode = 1;