https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127063
--- Comment #21 from Mikael Morin <mikael at gcc dot gnu.org> --- (In reply to Harald Anlauf from comment #20) > I just tested: spacing(atand(y)) gives 3.5527136788005009E-015 > So 4.e-15 should be safe, or any larger number. > > Will push this, if there are no objections. Works for me.
