Fix truncation of Integer in C codegen