omochimetaru 8/30/2017 12:43 AM

もしそうなったら、castやtoIntなどではなく

12:44 AM

as対応として変換を提供する選択肢も出て来ますね