19 Sep
2010
19 Sep
'10
10:18 p.m.
Given that IEEE is actually a standards body and they have many standards, wouldn't it be more appropriate to call this library ieee754?
If it seems important to people, I'd be happy to change the name. I'm not religious about these things. Will it clutter up hackage, though? Patrick