afc::maxISODateTimeSize() and afc::formatISODateTime() are introduced.