Euclid: new Euclid class with mod/rem and all that used to be in integer theory #175