Library Stdlib.Floats.FloatClass

From Corelib Require Export FloatClass.