Add (int64_t) casts