PHP. Что быстрее: (int) или IntVal() ?