Library Stdlib.Floats.FloatAxioms

From Corelib Require Export FloatAxioms.