modulo from FOLDOC