Fix truncation of Integer in C codegen

This prevents a segfault when an Int is pretending to be an Integer.