fix conversion from/to TVec and CT::Int