You've carried over a typo from the bug report here, in the comment. It wasn't `[V(42), V(nan), V(nan)]`, but `[V(1), V(nan), V(nan)]`, of course.