toJSON(-i32)
