assertThat(expected).hasMessageThat().contains("1.0");
    assertThat(expected).hasMessageThat().contains("UP");
  }

  public void testCheckNoOverflow_success() {
    MathPreconditions.checkNoOverflow(true, "testCheckNoOverflow_success", 0, 0);
  }

  public void testCheckNoOverflow_failure() {
    ArithmeticException expected =
        assertThrows(
            ArithmeticException.class,