> 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