Hexadecimal
Arbitrary precision hexa-decimals
val to_numeral : string -> Big_int.big_int option
val to_decimal : string -> Num.num option