Fixed problem with working_prec.