Added code (#ifdef'd out) that's handy when hunting down floating point bugs