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