OK, thanks.
Aldy
On 12/7/22 17:05, Jakub Jelinek wrote:
On Wed, Dec 07, 2022 at 04:38:14PM +0100, Aldy Hernandez wrote:
So, perhaps a combination of that, change frange_nextafter to do the above
and change frange_arithmetic for the initial inexact rounding only to
do it by hand using range_next
On Wed, Dec 07, 2022 at 04:38:14PM +0100, Aldy Hernandez wrote:
> > So, perhaps a combination of that, change frange_nextafter to do the above
> > and change frange_arithmetic for the initial inexact rounding only to
> > do it by hand using range_nextafter and starting from value.
>
> Either way i
