[PPL-devel] Fwd: Re: kern/133583: [libm] fma(3) does not respect rounding mode using extended precision