On 02/16/2017 01:41 PM, Bharata B Rao wrote:
For some reason float128_mul implements multipliction via multiplication and addition (mul128To256 & add128). There is no equivalent to this in float64_muladd.
Yes, I don't understand that myself. It really appears to be a bug. r~
