Library Stdlib.Floats.FloatOps

From Corelib Require Export FloatOps.