Summing up: A functional role of eye movements along the mental number line for arithmetic.