Dynamic mental number line in simple arithmetic