Commit 88f22bec5a2b8a2a3f1676f7d6180ef914667b54

Thomas de Grivel 2025-03-24T16:29:41

fix tests for facts with F128