made the int64 encoding tighter