Convert the floating-point realizations to Flocq.BinarySingleNaN.
As a side effect, this also takes care of the compatibility with Flocq 4. But this bumps the lower bound on both Flocq (3.4) and Coq (8.11) to enable the realizations.
La mise à jour de gitlab est terminée. Nous sommes désormais en version 16.11.1
Merci de consulter la release note:
https://about.gitlab.com/releases/2024/04/18/gitlab-16-11-released/
As a side effect, this also takes care of the compatibility with Flocq 4. But this bumps the lower bound on both Flocq (3.4) and Coq (8.11) to enable the realizations.