force encoding of IntDate as JSON integer
add createJWT function