document weird int2float bug