message: test: Test abs, neg under all rounding directions
diff: @@ -497,6 +497,12 @@ TYPED_TEST(execute_floating_point_types, abs)
  {TypeParam{0}, Limits::infinity(), FP::nan(FP::canon), FP::nan(FP::canon + 1), FP::nan(1)})
  p_values.push_back(x);
  + ASSERT_EQ(std::fegetround(), FE_TONEAREST);
  + for (const auto rounding_direction : this->all_rounding_directions)
  + {
  + ASSERT_EQ(std::fesetround(rounding_direction), 0);
  + SCOPED_TRACE(rounding_direction);
  +
  for (const auto p : p_values)
  {
  // fabs(+-p) = +p
  @@ -504,6 +510,8 @@ TYPED_TEST(execute_floating_point_types, abs)
  EXPECT_THAT(exec(-p), Result(p));
  }
  }
  + ASSERT_EQ(std::fesetround(FE_TONEAREST), 0);
  +}
  TYPED_TEST(execute_floating_point_types, neg)
  {
  @@ -519,6 +527,11 @@ TYPED_TEST(execute_floating_point_types, neg)
  {TypeParam{0}, Limits::infinity(), FP::nan(FP::canon), FP::nan(FP::canon + 1), FP::nan(1)})
  p_values.push_back(x);
  + ASSERT_EQ(std::fegetround(), FE_TONEAREST);
  + for (const auto rounding_direction : this->all_rounding_directions)
  + {
  + ASSERT_EQ(std::fesetround(rounding_direction), 0);
  + SCOPED_TRACE(rounding_direction);
  for (const auto p : p_values)
  {
  // fneg(+-p) = -+p
  @@ -526,6 +539,8 @@ TYPED_TEST(execute_floating_point_types, neg)
  EXPECT_THAT(exec(-p), Result(p));
  }
  }
  + ASSERT_EQ(std::fesetround(FE_TONEAREST), 0);
  +}
  TYPED_TEST(execute_floating_point_types, ceil)
  {
  