NCG lowering of sqrt