toJSON(0.5 >= i64)
