document set_precision

fixes #2