Function mod_pow 

pub fn mod_pow(
    base: &ExactInt,
    exp: &ExactInt,
    modulus: &ExactInt,
) -> Option<ExactInt>

base^exp mod modulus. exp < 0 or a zero modulus is None. |modulus| = 1 is 0.