Can you show a language that implements your concept of "integers above N" consistently? I fail to see how such a type would be remotely useful in the context o

Can you show a language that implements your concept of "integers above N" consistently? I fail to see how such a type would be remotely useful in the context of addition/subtraction operators. I think Ada comes closest to your definition with allowing modular and derived integer types, but the former does include 0 and I'm not sure if the latter even allows division.