Some of the integral literal changes

You can look at this on Monday.