fixed norm in Higham's polar decomp