you can try the following:
(filename was test.php)

<?php
$filename=__FILE__;
echo $filename."<br>";
if(settype($filename,"integer")){
        echo "TRUE";
} else { echo "FALSE"; }
?> 

it seems that the settype() function not returns a clear FALSE, as aspected.
:-/