do you really need int64_t? why?