Fixed a bug in ConstantInt::Inverted().