Yes ... I think you may be right. On re-reading I see that it is possibly telling me simply that an int might be greater than 32 bits. It sort of depends on whether the "long" that is "described in the next section" is the "long" that "is _exactly_ 32 bits" or the "long" that is according to the "local C compiler" :-)
Anyway, simplest thing is probably for me to fire off an email to the guy that has this machine and just verify that sizeof(int) == 4. (Sorry ... maybe that's what I should've done in the first place. I'll send another post to this thread when he replies with the answer.) If he can confirm that sizeof(int) is in fact 4, then I think we can be satisfied that %Config is doing its job properly.
.