Bug 868716 - Fix placement of #include <float.h>; r=ehsan