toJSON(-i64)
