Int32 is located in:

• m3core/src/types/Int32.m3
• libm3/src/types/Int32.m3