let rec v_int v = match v with
        |N i -> v
        |R f -> return_N (int_of_float f)
        |Vec (size, vec) -> make_vector size (fun i -> v_int (vec i))
        |Zero -> return_N 0
        |W -> W