I noticed that the shared_bram.read() on casperfpga function struggles to read > 32 bit values. I was able to readback all the values using the standard fpga.read('shared_bram', 0x2000) function for the 64 bit. I think this should be looked into at some point.