An sich richtig.
Aber man betrachte es mal von der anderen Seite: So muss man Usereingaben (die eigentlich immer als String vorhanden sind) nicht erst prüfen und in einen Int umwandeln, wenn man Rechenschritte durchführen muss. Aber man kann, soweit ich mich entsinne, vorher natürlich eine Abfrage machen, ob denn beide Variablen gültige Ints sind, um andere Fehler zu vermeiden.
In meinen Augen würde es hier nur zu mehr Fehlern führen, wenn das + in PHP wie in anderen Sprachen zur String-Konkatenation benutzt werden würde.
Klar, eine Fehlerausgabe wäre auch möglich. Aber wie bereits gesagt: Zum Verarbeiten von Usereingaben empfinde ich dies als idealen Ansatz, anstatt gleich dem User einen fetten Fehler entgegenzuwerfen, der damit vermutlich nichtmal etwas anfangen kann.