Write out uint64_t as i{0..32},i{33..64} instead of i{0..32},0.