Library Stdlib.Floats.PrimFloat

From Corelib Require Export PrimFloat.