Function mod_add 

pub fn mod_add(a: i64, b: i64, modulus: i64) -> Option<i64>

Computes (a + b) mod modulus and returns the normalized residue.

Returns None when modulus <= 0.