Taggato: come sapere che operatore è un numero