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());
 }