Dado o seguinte problema com milissegundos de arredondamento sob R. Como faço para contornar isso para que os tempos estejam corretos?

> options(digits.secs=3)
> as.POSIXlt("13:29:56.061", format='%H:%M:%OS', tz='UTC')
[1] "2012-06-07 13:29:56.060 UTC"
> as.POSIXlt("13:29:56.062", format='%H:%M:%OS', tz='UTC')
[1] "2012-06-07 13:29:56.061 UTC"
> as.POSIXlt("13:29:56.063", format='%H:%M:%OS', tz='UTC')
[1] "2012-06-07 13:29:56.063 UTC"

Percebi que essa URL fornece informações básicas, mas não resolve meu problema:Quebra-cabeça de milissegundos ao chamar strptime em R.

Além disso, essa URL toca no problema, mas não resolve:R xts: 0,001 milissegundo no índice.

Nestes casos, vejo o seguinte:

> x <- as.POSIXlt("13:29:56.061", format='%H:%M:%OS', tz='UTC')
> print(as.numeric(x), digits=20)
[1] 1339075796.0610001087

A URL também parece indicar que isso é apenas um problema de exibição, mas notei que usar declarações como"%OS3" sem a linha de opções não parece pegar o número correto de dígitos.

A versão que estou usando é 32 bits 2.15.0 no Windows, mas isso parece existir em outras situações para R.

Observe que meus dados originais são essas sequências de data e hora em um arquivo CSV. Devo encontrar uma maneira de convertê-los na hora correta em milissegundos a partir de uma string.