Provide non-intrusive overloads/specializations for the `remainder` function, for primes that come with fast reductions.