A numeral 'x' remains a symbol, not a number, despite ranging over numbers in quantification.
This proposition has not been edited since the history system was added.