pub fn mod_pow_raw(x: u128, exp: u64, quotient: u128) -> u128