Module Djot_kernel.Number

type uint =
  1. | UIntDecimal of Decimal.uint
  2. | UIntHexadecimal of Hexadecimal.uint
type signed_int =
  1. | IntDecimal of Decimal.signed_int
  2. | IntHexadecimal of Hexadecimal.signed_int