SELECT positive_modulo(1000, 32);
SELECT positive_modulo(1000, -32);
SELECT positive_modulo(-1000, -32);
SELECT positive_modulo(-1000, 32);