implement "quotient", "remainder" and "modulo"
implement first version of "gcd" (in math lib)