toJSON(i32 >= 0.5)
