An Infinite Automaton Characterization of Double Exponential Time