Priceline floating point mistake