数値`val`を[`string`](basic_string.md)型文字列に変換する。