fn lehmer_update( a: &mut BigInt, b: &mut BigInt, q: &mut BigInt, r: &mut BigInt, s: &mut BigInt, t: &mut BigInt, u0: u64, u1: u64, v0: u64, v1: u64, even: bool, )