Why does Aten code use int64_t as the convention for indices instead of int32_t ? Wouldn’t int32_t be sufficient for most use cases? What amount of performance hit does using int64 instead of int32 lead to?