Use 64 bits when saving to HDF