jose-jwt icon indicating copy to clipboard operation
jose-jwt copied to clipboard

Precision loss in IntDate serialisation

Open crypticmind opened this issue 2 years ago • 0 comments

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

crypticmind avatar Sep 26 '23 00:09 crypticmind