ValueRep(DoubleRep(@v)) can not simply convert to @v