Function garner_crt 

pub fn garner_crt(residues: &[u64], moduli: &[u64]) -> BigUint

Garner’s algorithm: reconstruct the unsigned integer in [0, M) from its residues. Never materializes the large basis elements M/m_i; all intermediates stay small (each fits within its own modulus).