if ( ! in_array($type = gettype($index_key), array('integer', 'string', 'NULL'), TRUE))
        {
            if ($type === 'double')
            {
                $index_key = (int) $index_key;