@Test
 public void multiplyReals() {
   Number actual = evaluate(x._mul(y), realPoint(4.2, 0.1));
   assertThat(actual.doubleValue(), equalTo(0.42000000000000004));
 }