Use the correct 64-bit int type for the extension functions