use "int" as typehint
http://pear.php.net/manual/en/standards.sample.php