This case isn't needed with recent changes to ConstantInt::get