More floating point issues