Failure handling 64 bit uint values

[ccummingsNV]

Not confirmed, but we've had reports that attempting to pass large 64 bit integers fails. The code gen may need better handling of integer types when deciding how to pass them. This is probably an assumption that an int corresponds to a 32 bit value.