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