I would say that here you are damned whatever you do. On one hand, you really really want to follow IEEE 754. On the other hand you want to be consistent