Can't we make an opensource description of the IEEE754 which resolves the issues? While the spec doesn't describe the same thing it should be no legal problems - right?
How are you going to create a free version of the spec without making it derivative work? If you read the original and you paraphrase it, that's derivative work, so it would have the same copyright as the original.