Operatore - con String

Anche la classe String possiede il suo bravo toInt(), peccato che (nonostante le segnalazioni) questa funzione non sia documentata!

La uso spesso per introdurre numerici da Monitor.

Ettore Massimo Albani