fn gte_modulus(a: &[u64; 4], modulus: &[u64; 4]) -> bool
Returns true if a >= modulus.
true
a >= modulus