Implement Div, Mod, and Log for type-level nats.