Additional PHP_INT_MIN tests