PHPで数字かどうかを判定する

今まで数字かどうかは正規表現使ってましたけど、実はこんな関数があって、こっちの方が早いらしい。
今後はこれを使っていこうと思う。

ctype_digit