add 64-bit types