def METHOD_NAME(self, left, right):
    assume(math.isfinite(left) and math.isfinite(right))
    left, right = sorted((left, right))
    assert left <= right
    # exclude deprecated case where left = 0.0 and right = -0.0
    assume(left or right or not (is_negative(right) and not is_negative(left)))
    return floats(left, right)