Library Stdlib.Init.Hexadecimal

From Corelib Require Export Hexadecimal.