Significant digits & error reporting, TeX style!