On the Choice of Sign Defining Householder Transformations. - Michael L. Overton; Pinze Yu (CoRR, 2023)