Fixtype of Java numeric types [JLS14:4.2].
This is a tagged union type, introduced by fty::deftagsum.