pub fn basic_mod_inv<T>(a: T, modulus: T) -> Option<T>where T: Zero + One + Copy + PartialEq + Div<Output = T> + Sub<Output = T> + PartialOrd,
Simple version that operates on values and copies them.