Binary operators and functions in docs and fix a bug in Residue gcd function.