Helen,

> You can't use a cast directly to produce a character string representing a formatted date

while I agree that using extract gives you more control over the format
of the resulting string, I must add that casting from a date or
timestamp to a string does indeed work, provided the string has room
enough to hold the complete value.

The docs have a table with the allowed typecasts.
Ciao
--
____
_/\/ando