the aura is chosen by the cast.
@ux prints a number in hexadecimal.
@ux
^+ casts a value to the type of another expression, rather than a written-out type.
^+
^+(7 42) is 42, typed like 7.
^+(7 42)
42
7