typeFloatings = UnionTypes.Disj { type D = Float => Nothing with Double => Nothing with java.math.BigDecimal => Nothing with scala.math.BigDecimal => Nothing }
typeIntegrals = UnionTypes.Disj { type D = Byte => Nothing with Short => Nothing with Int => Nothing with Long => Nothing with java.math.BigInteger => Nothing with scala.math.BigInt => Nothing }