device.getInfo() now returns 52 low-order bits of 64-bit values (previously returned 32 low-order bits)