This is also how you can define your own custom ranged integer types. As an example this is literally how range_typed_integers.i8 is defined: from typing import Annotated, NewType from ...