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 18.3.6
https://about.gitlab.com/releases/2025/07/17/gitlab-18-2-released/
https://about.gitlab.com/releases/2025/08/21/gitlab-18-3-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.