Convert times to int
Convert times to int

Make iat_time, exp_time, auth_time an integer, not a float. The spec
does not explicitly forbit float times, but some clients don't accept
this (mod_auth_openidc), and `timetuple()` has second precision anyway
so we don't loose any information.

torreco/django-oidc-provider,wojtek-fliposports/django-oidc-provider,nmohoric/django-oidc-provider,juanifioren/django-oidc-provider,wayward710/django-oidc-provider,ByteInternet/django-oidc-provider,bunnyinc/django-oidc-provider,wayward710/django-oidc-provider,bunnyinc/django-oidc-provider,juanifioren/django-oidc-provider,wojtek-fliposports/django-oidc-provider,nmohoric/django-oidc-provider,torreco/django-oidc-provider,ByteInternet/django-oidc-provider