Dans le cas de la fonction partie entière floor, le résultat est négatif pour un modulo avec un entier strictement négatif (en convenant de poser a mod -n = -(a mod n), par exemple 1 mod -2 = -1). Le modulo retourné est donc du même signe que le diviseur y.
Serret en France, a ramené cette méthode à une étude de congruences […] relativement à un module qui est un polynôme premier construit sur le corps des résidus modulo P.