Add support for 64 bit integers using assembly macros