You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Due to the way floating-point arithmetic works, the interval
`a` created directly by the constructor turns out to contain
*neither the true real number 0.1, nor 0.3*, since the floating point
number associated to 0.1 is actually rounded up, whereas the
one associated to 0.3 is rounded down.
The [`@interval`](@ref) macro, however, uses [**directed rounding**](rounding.md) to *guarantee*
that the true 0.1 and 0.3 are included in the result.
But the interval is [0.0999999, 0.300001]: doesn't that contain the values?
The text was updated successfully, but these errors were encountered:
In the docs:
But the interval is
[0.0999999, 0.300001]
: doesn't that contain the values?The text was updated successfully, but these errors were encountered: