Implementation depends on PHP_INT_MIN again