The type(x, embedded_real) function returns true if x is of type complex(extended_numeric) and .

The type(x, embedded_real(d)) function is the same as type(x, embedded_real) and type(Re(x), d).

The type(x, embedded_imaginary) function returns true if x is of type nonreal and .

The type(x, embedded_imaginary(d)) function is the same as type(x, embedded_imaginary) and type(Im(x), d).

The type(x, embedded_axis) function returns true if x is either an embedded_real or an embedded_imaginary.

The type(x, embedded_axis(d)) function is the same as type(x, embedded_real(d)) or type(x, embedded_imaginary(d)).

Each of the structured types (where d is given) returns false if d is not a numeric type.