Int64 is located in:

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