The mental number line: exact and approximate