add with_added_precision and use it to implement exp, as suggested by #5 #7

Closed DanBurton closed 10 years ago