By the way, general speaking, not necessary for this question. What is the better approach, use the the general set up and more used methods such as is_int() or use the not so popular used function such as ctype_digit?
Use the ctype_digit kind functions may win some performance benefits, but the code could be less understandable for other programmers (the new guy) in the team.
And this performance winning could be easily achieved by a using a better machine or add an additional memory costs only a few hundreds bucks.
I think this debate has been on for a while, one school tries to write the codes to have the best performance. One school tries to write the codes quicker, ignore the small performance issues, as long as there will be no big performance problems, and think the hardware update speed will take care of the performance issue.