toJSON(i64 <= 0.5)
