Fix a number of incorrect intmath.h #includes.