17: recognize IO_NUMBER tokens