toJSON(1 - i32)
