Whatever you do, do it in `Float.__rmod__`. The point here is that Python's dispatch will handle is logic, so writing it out explicitly is unnecessary.