Package de.tilman_neumann.jml.precision
-
Class Summary Class Description Magnitude MagnitudeTest Precision Relative precision for BigDecimal operations.PrecisionTest Scale Immutable class for precision statements in after-floating point decimal digits.