Non-families: fix up reduce_prec_abs, _prec_for_solve_diff, and adjust random symbol accordingly