CP-9420: Correct documentation for xs64bit.