Оно действительно сложнее, но при этом достаточно строго формализовано стандартом, что бы при разногласиях мы могли не спрашивать третьего авторитетного Анонима, а там почитать и найти общий язык. Integer types - это отдельная глава ближе к середине, она относится к последующей фазе трансляции. После директивы #if может быть "the controlling constant expression which is evaluated according to the rules of 6.6" и в сноске указано, что нет гарантий одинакового результата для
#if ’z’ - ’a’ == 25
if (’z’ - ’a’ == 25)
и это называется arithmetic constant expression, а не "целочисленные".

Теперь смотрите: оно по разному названо, по разному пишется... а почему разница должна колыхать? Ну, написали так в эпоху "деревянных" машин, сохранилось для совместимости. Не нравится препроцессор, хочется большего, так можно написать свой, добавить свою фазу трансляции.