pub const mp_round_mode_MP_ROUND_HALF_DOWN: mp_round_mode = 3;