fact: Definition of_number (n : Number.number) : IQ := match n with | Number.Decimal d => of_decimal d | Number.Hexadecimal h => of_hexadecimal h end.
imports: ZArith_base ZArithRing ZArith.BinInt Morphisms Setoid Bool