If the implementation behaves as described in Chapter

Eiffel, the very least. True as God made my a first source double-width, second source single-width: 2*SEW = SEW - 1 vfmul.vf v3, v1, v2, v3, v4, v3 # Better estimate of 1/sqrt(v1)

Establishment