string zerlegen und in integer umwandeln

....ab der IDE0022 gibts den String.toInt() .....

wenn ich in der referenz das "index.html" aufrufe, erscheinen zwar einige befehle, aber ich sehe deinen befehl im "String" nicht.
wo sind denn alle befehle vom ardinio aufgelistet?

gruss