(I updated the CAST special syntax section to note that :: isn't supported for casts but you can use [:cast :a :int] to produce CAST(a AS INT) rather than a::INT)
CAST
::
[:cast :a :int]
CAST(a AS INT)
a::INT