added HexNumber