Why cint 32 bits?

[firosiro]

Just a quick question that I couldn't find the answer to anywhere. According to 
the system module description, cint is supposed to be equivalent to using "int" 
in C. However, cint is explicitly defined as int32, whereas C does not require 
"int" to be 32 bits. Of course most C implementations do use 32 bit integers, 
but for correctness, wouldn't it make more sense to either let cint be 
compiler-dependent, or at least change its description to point out this minor 
issue?