Jonathan Wakely <jwak...@redhat.com> writes: >>Hmm, yes, you pointed me to __frexpieee128 a few months ago, but for >>some reason I either didn't switch to using it, or lost a patch when >>squashing and rebasing branches. Hopefully I just forgot to change it, >>but I'll double check to make sure I haven't left any work on an old >>branch. Thanks for suggesting it (again!) > > As expected, it still works with a check for __frexpieee128 instead. > > So are you happy for me to push this to master with that change?
LGTM. I have no objections. Thank you! -- Tulio Magno