Fixtype of signed formats.
This is a tagged union type, introduced by fty::deftagsum.
[C:6.2.6.2/2] lists three possible ways in which a sign bit equal to 1 modifies the value of the integer value whose sign bit is 0. We call these `signed formats', even though [C] does not use this term.