Improved fannkuch benchmark: avoid float division and comparisons in flip
loop which was making it really slow.