Library Stdlib.Init.Decimal

From Corelib Require Export Decimal.