Library Stdlib.Floats.SpecFloat

From Corelib Require Export SpecFloat.