public void test_prec_plus() { assertEquals(2, real1_2.plus(real1_3).precision().intValue()); }
public void test_prec_plus3() { assertEquals(3, real0_3.plus(real0_2).precision().intValue()); }