pub fn sub_sign(a: &[u64], b: &[u64]) -> (Sign, BigUint)