Why min(NaN,x) is x in IEEE
github.com