Function mod_sub 

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

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

Returns None when modulus <= 0.