jose-jwt
jose-jwt copied to clipboard
Precision loss in IntDate serialisation
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