A fully typed cyclic integer type for Python with modular arithmetic and fixed [left; right) interval semantics.
