Bug #1228: Ensure that named constant enumerators are wide enough to hold their values