Fix integer resolution problems.