This is a product type, introduced by fty::deftagsum in support of pnumber.
The following invariant is enforced on the fields:
(dec-digit-char-p digit)
