Explicity cast pointers to int64_t