gcc64 float bug