PHP：文字列を数値に変換するには？

文字列を数値型に変換するには？
(int)でキャストすれば良い。
※ 他に intval関数 も使える。
例)

<?php
  public function calc(string $a, string b) {
    $c = (int)$a + (int)$b; 
  }

変換に失敗してもエラー発生せずに 0 が返るようなので、
is_numeric関数で数値であるかの判断を行った方が良い。

---

PHP