Rename float2.f to float2.4th