Do not tokenize numbers with minus signs since that messes up juxtaposition