Convert everything to use int63 type throughout.