For the divide semantics described in jsr13 circa 4851776, the preferred scale rules can be read to apply whether or not the operation is exact.

If the operation is not exact, there is utility in keeping around trailing extra zeros to indicate the operation might be inexact. In other words, it can be useful to know that if a quotient has fewer than mc.precision digits, the quotient is exact.