need to typecast into 64 bit ints for 64 bit multiplication, need to shift left 32 bits * index