Always serialise Int as 64bit values; fixes trac #3041