toJSON(i32 <= 0.5)
