Function mod_pow 

pub fn mod_pow(base: i64, exponent: u64, modulus: i64) -> Option<i64>

Computes base.pow(exponent) mod modulus using exponentiation by squaring.

Returns the normalized residue in 0..modulus, or None when modulus <= 0.