added gcd and lcm, renamed SpecialValues to Infinity, and refined tests