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