Int64 arithmetic