builtin IntA signed 64-bit integer.
Ordinary arithmetic traps on overflow and division by zero. Core extensions provide explicit checked and wrapping arithmetic when those policies are required. Integer literals must fit this range after type inference.