Gravar e-mail: Floquet insulators and lattice fermions beyond naive time discretization