Addition of specific values in `expr!` hangs astro_float about astro-float

[stencillogic]

So, I think this is a documentation issue.

[stencillogic]

@barafael As a follow up, it appears that potentially any BigFloat marked as inexact when passed as input to not only expr!, but also to some functions, e.g. acos can potentially hang the computation. So, I am going to change the behaviour of such functions and the macro expr! in such way that they will treat any argument of type BigFloat as exact. I think it will be less confusing and less error prone. Thank you for pointing to this problem.

[stencillogic]

In your example numbers are constructed from raw parts, and both of them are inexact (last argument in BigFloat::from_raw_parts). As a result, when two inexact numbers are added, the result is also inexact. That means that expr! will try to achieve correct rounding by increasing the precision of the result until the least significant bit flips, which will never happen in this example. So, either the numbers should be marked as exact (BigFloat::set_inexact), or the rounding mode could be None if you don't care about correct rounding (a correctly rounded result differs just in the least significant bit).
Unfortunately, expr is not intelligent and does not analyze the expression you give it, so this kind of situation can happen.

[stencillogic]

Release 0.8.0 has been published that should cover this problem. More specifically: mechanism of correct rounding has been removed from the expr! macro completely.
Release notes https://github.com/stencillogic/astro-float/blob/main/RELEASE_NOTES.md

[barafael]

Thanks!