let sign = function
    | 0 -> 0
    | x when x < 0 -> -1
    | x when x > 0 -> 1