let rec take_off_N v = 
        match v with
        |N i -> i
        |R f -> 
            raise (Convert_Error "float take_off_N int")
        |Vec (size, vec) -> 
            raise (Convert_Error "take_off_N can not convert vector.")
        |Zero -> 0
        |W -> 0