[PATCH 4/3] Annotate int2float() as being a pure function.