Type casting will give the exact same result. Its just the way i like to do things.
PHP Code:
$id = intval($_GET['id']);
//is the equivalent of type casting:
$id = (int) $_GET['id'];