toJSON(1 == i32)
