Fold comparisons between sqrt and zero