Current: 7 mod 3
r = a - n × trunc(a/n)
r = a - n × floor(a/n)
r = a - |n| × floor(a/|n|)
r = a - n × round(a/n)
r = a - n × ceil(a/n)