What `ltitop` [has right now](https://github.com/hidmic/ltitop/blob/d75f165117d108ba5496b29c9920de04fa282c3d/src/ltitop/arithmetic/modular.py#L29-L45) is on shaky grounds. Need to find a good book on modular interval arithmetic.