def test_non_float_decimal(): find( ds.decimals(), lambda d: d.is_finite() and float_to_decimal(float(d)) != d)
def test_all_decimals_can_be_exact_floats(x): assume(x.is_finite()) assert float_to_decimal(float(x)) == x
def test_non_float_decimal(): find(ds.decimals(), lambda d: d.is_finite() and float_to_decimal(float(d)) != d)
def test_non_float_decimal(): find(ds.decimals(), lambda d: float_to_decimal(float(d)) != d)