Properly compact negative numbers