docs for code-point conversions