Use [u]int64_t in the framework