grader: allow floor rounding mode more properly

[fushar]

This is just initial infrastructural support; we cannot set it from the UI yet.