rand64: we want a bit number here, not a value.
rand64: bits are numbered 0-63, so we need to subtract one.