Minor fix for later PHPs... just in case people
use this bundled version
Be faster with large arrays, even though we aren't modifying them.
force to be ints