ffi: Add some tests to ensure that 64bit integers are handled properly.
alien.c-types: Revert previous changes to 64 bit boxing/unboxing. Seems to work. See #1062.