toJSON(ok ? 1 : half)
