Multiplication and division now use @interval and corrected their tests. BigFloat(...) was apparently using the wrong rounding mode. Changing it to big(...) seems to work.