re Int64 being the same as Int: Wow, I remember some discussion of the idea of setting things up so that one could set the type of int but I didn't know that it had actually gone in including in the C code for the GC. This is just what I wanted and there for a long time. Thanks