Integer <-> Float conversion in C codegen