add helper function ZeroSqrt needed for LowDiagonalizationPrecision