To avoid confusion, this needs to be replaced by a fork from the [new home of minterpy](https://github.com/minterpy-project/minterpy).