Re: NCG lowering of sqrt