The behavior of conversions with types WITH and WITHOUT TIME ZONE may need to be made more explicit, either in the CAST documentation, or in the data type documentation.