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