Fix unsoundness with sqrt

Merge request reports

Loading