Still having problems with how R formats POSIXct with fractional seconds