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.
GitLab upgrade completed. Current version is 17.8.1: https://about.gitlab.com/releases/2025/01/16/gitlab-17-8-released/
Git-LFS is now available on our GitLab instance.
Please note that the quota check is now in blocking mode. More informations about quotas: https://gitlab.inria.fr/siteadmin/doc/-/wikis/faq#quota-management-policy-to-monitor-disk-space-by-project-on-gitlab
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.