This is still open. I don't have enough experience with floating point precision to judge this....