introduced likely_assert_approximate