This statement is ANSI SQL:2011 compliant.
As an extension to ANSI, CAST permits the use of the FORMAT phrase to enable alternative output formatting of timestamp data.
The AT clause is ANSI SQL:2011 compliant.
As an extension to ANSI, the AT clause is supported when converting from DATE to TIMESTAMP using CAST. In addition, you can specify the time zone displacement using additional expressions besides an INTERVAL expression.