toJSON(i32 > 0.5)
