if x > 0 then 1 elseif x < 0 then -1 else 0 endif -> sign_x ;