pub const mp_round_mode_MP_ROUND_DOWN: mp_round_mode = 0;