This seems like a strange way to get what you want; isn't it just ```[offset & 0xffff_ffff, offset >> 32]``` ?