ToString(DateTime(2000,1,1,8,25,25,300, -7)) should return '2000-01-01T08:25:25.300-07:00'. Instead, it returns the date and time, but without the timezone extension of -07:00.

Ref: CqlStringOperatorsTest.xml, test "DateTimeToString3"

Ref: Section 3.25 ToString in https://cql.hl7.org/09-b-cqlreference.html