[bluesmoon]

Julia supports Complex numbers as a built-in type.

[koolala]

are numbers types?

[nimih]

It's certainly possible to interpret numbers as types, but it's not particularly common AFAIK, since there are generally more convenient interpretations of arithmetic for a given problem domain (von Neumann sets, Dedekind cuts, IEEE 754 floating point values, &c &c).