Int63 for 32-bits architecture.