Untitled

ctype_digit - strange behaviour
array_push($pos1, 100);

echo ctype_digit($pos1[12])." - ".ctype_digit($pos1[13]);

Array ( [0] => 0
        [1] => 1
        [2] => 2
        [3] => 3
        [4] => 4
        [5] => 5
        [6] => 6
        [7] => 7
        [8] => 8
        [9] => 9
        [10] => 10
        [11] => 11
        [12] => 12
        [13] => 100 )

echo ctype_digit((string) $pos1[12])." - ".ctype_digit((string) $pos1[13]); // "1 - 1"

echo true; // "1"
echo false; // ""