This is an automated migration of most SKIPIF extension_loaded checks.
We make sure that negative values are properly compared.