It is just a shame that the FP11 on the old PDP11 did not support both single and double floats in its registers at the same time. If it did this problem would not have been in C from the beginning! It will of course dissapear eventually, abeit more slowly than the PDP11