Whether SizeOf gives a result of type SizeType or another type is quite irrelevant as GPC mostly ignores types of integer constants.
But it also ignores explicit typecasts on integer constants (see below).
Another idea. If value type-casts are ignored by the compiler for integer constants, then maybe a warning can be issued by the compiler "Ignored constant value type-cast".
Regards,
Adriaan van Os