- of course, int() isn't a PHP function