Создать такую функцию самостоятельно - тривиально:
CREATE FUNCTION fmod (
dividend double precision,
divisor double precision
) RETURNS double precision
LANGUAGE sql IMMUTABLE AS
'SELECT dividend - floor(dividend / divisor) * divisor';
Вы можете использовать ее для решения вашей проблемы:
SELECT fmod(1000, 2.0 * pi());
fmod
-------------------
0.973536158445768
(1 row)
Эта функция может быть встроенной, поэтому она должна бытьдовольно эффективно.