round does not necessarily round down. It rounds to the nearest floating point, which can be greater than the original floating point value and hence might introduce errors into lower bound of the interval.
-- You received this message because you are subscribed to the Google Groups "sympy" group. To view this discussion on the web visit https://groups.google.com/d/msg/sympy/-/pDsSMD9BOLIJ. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
