Fix 11483
Fix 11483

Performance bug of PrimFLoat.compare with native_compute

When adapting Coq.Interval with @erikmd and @silene, we noticed that
PrimFLoat.compare is taking a lot of time with native_compute (much
more than with vm_compute).

This comes from the implementation using the OCaml polymorphic
comparison instead of the float comparison.

ejgallego/coq,gares/coq,JasonGross/coq,Zimmi48/coq,coq/coq,gares/coq,gares/coq,Zimmi48/coq,ejgallego/coq,JasonGross/coq,ejgallego/coq,gares/coq,SkySkimmer/coq,coq/coq,gares/coq,silene/coq,ejgallego/coq,SkySkimmer/coq,Zimmi48/coq,silene/coq,SkySkimmer/coq,coq/coq,silene/coq,coq/coq,Zimmi48/coq,JasonGross/coq,JasonGross/coq,SkySkimmer/coq