Good point -- it's not really relevant to the example that I'm using a borrow, so I changed it to a u64 instead.