Fix encoding signed int64 and sint64