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.
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.