tekul/jose-jwt

Precision loss in IntDate serialisation

Opened this issue · 0 comments

crypticmind commented

IntDate should take an Int instead of a POSIXTime or make it clear in the documentation about rounding.

ghci> fmap IntDate (fmap utcTimeToPOSIXSeconds getCurrentTime)
IntDate 1695687669.311274325s