Casting int faster than intval in PHP