[[ Faster ]] Avoid valueref-pivot conversion when the execvalues are both numbers