return int64 z in int64 x call int64_negative_mask