How about we confirm that 64 bit integers are working as expected
Let's make the types used in the C callbacks slightly more consistent as well