Support for negative INTEGER constants