[PATCH v3 2/3] Replace int2float() with an optimized version.