changed desired_precision