What does (int) $_GET['page'] mean in PHP?

Question

I tried looking up (int) but could only find documentation for the function int() in the PHP manual.

Could someone explain to me what the above

Answer 1

(int) is same as int()

see http://php.net/manual/en/language.types.integer.php