Isn't that something to let the IO layer handle? Similarly output encoding, when we output text.