Let $X$ be a smooth projective variety over a finite field $k$, and $F$ the geometric Frobenius on $H^*_{et}(X_{k^{sep}}, \mathbf{Z}_{\ell})$. Is $F$ only *rationally* bijective, or integrally bijective too?