[Patch v2 4/4] Annotate int2float() as being a pure function.