riemann.time.controlled: Use of with-redefs to be slightly more forgiving.