def test_can_find_integrish(): find(floats(), lambda x: ( is_integral(x * (2 ** 32)) and not is_integral(x * 16) ))
def test_can_find_integrish(): find(floats(), lambda x: (is_integral(x * (2**32)) and not is_integral(x * 16)))
def test_can_find_float_far_from_integral(): find(floats(), lambda x: not ( math.isnan(x) or math.isinf(x) or is_integral(x * (2 ** 32)) ))
def test_can_find_float_far_from_integral(): find( floats(), lambda x: not (math.isnan(x) or math.isinf(x) or is_integral(x * (2**32))))