Otus #1 You could cast an Int to a String or wrap it in an array like [10000], but neither is much better than a type, I guess.