F = if s > 1 then 1 else if s < -1 then -1 else s v = if s > 1 then s-1 else if s < -1 then s+1 else 0