Symbol: a_isnum