よくわからないになったけど、toInt() toString()は、架空の環境のそれぞれ、整数にしたやつ返すやつ、文字列にして返すやつ　という一般化した話ではなく、
「何らかの特定の環境(Rust？＞＜)の実際にその名前の関数の実際の仕様がそうだ」に限りまくった話かも？＞＜；