Updated references for floating-point issues.