Source position: fpjsonrtti.pp line 27
const RFC3339DateTimeFormatMsec = RFC3339DateTimeFormat + '.zzz';