Hi, this article will be published in the proceedings of ARITH 2026: https://inria.hal.science/hal-05591661 Note: Appendix F validates the change done in commit 44ce02b. Paul