Exact numerical studies of Hamiltonian maps: Iterating without roundoff error