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