Explicit cast

An explicit cast converts a value from one data type to another. It is invoked by the user in SQL statements with the :: operator.

For more information, see the Informix® User-Defined Routines and Data Types Developer's Guide.