String.hh - isNumeric() added