evalf()/Digits bugs