Commit 846aee7606bfffc72576e3869e65ccb08548ea28

Thomas de Grivel 2025-11-03T14:21:05

fix integer / f128