Fixtype of preprocessing numbers [C17:6.4.8] [C17:A.1.9].
This is a tagged union type, introduced by fty::deftagsum.
This is like an abstract syntax for preprocessing numbers, corresponding to the rule for pp-number in the ABNF grammar. We need to capture their structure, in order to do preprocessing.
