public void test_prec_times4() {
   assertEquals(2, real1_2.times(REALdoubleAdapter.HALF).precision().intValue());
 }
 public void test_prec_times3() {
   assertEquals(2, real1_2.times(real1_1).precision().intValue());
 }