Fixtype of binary exponents [C17:6.4.4.2] [C17:A.1.5].
This is a product type introduced by fty::defprod.
This corresponds to binary-exponent-part in the grammar in [C17]. It consists of a prefix, an optional sign, and a list of (decimal) digits (which should be non-empty). The digits are decimal, not binary or hexadecimal; but the implicit base of the exponent is binary [C17:6.4.4.2/3].