VARP fix(VARP x) { final zero = F.subtract(x, x); return where(greaterEqual(x, zero), x: floor(x), y: ceil(x)); }