It seems that we don't support ``` > select to_char('2023-09-04'::date, '%Y-%m-%dT%H:%M:%S%.3f'); Execution error: Cast error: Format error ``` I want to ensure if this is an unsupported feature or if the SQL semantics don't support this usage. Thanks!