Primitive procedure floor, standard procedures modulo, gcd
oops