make use of 64 bit integers in variant switchable to 32 bit