Re: evalf()/Digits bugs