Symbol: set_number_at