[13:59:52] We could use string subtypes for this (if we had them) https://meta.wikimedia.org/wiki/Talk:Abstract_Wikipedia/Updates/2023-11-16 (re @Nikki: it would be good to make it clearer in the descriptions when it's only temporarily using strings, though) [14:46:23] what would the string type be? "string that shouldn't be a string"? seems like it would make more sense to implement numbers than a way to say a string should actually be a number (re @Al: We could use string subtypes for this (if we had them) https://meta.wikimedia.org/wiki/Talk:Abstract_Wikipedia/Updates/2023-11-1...) [14:52:33] Well, yes… it would make more sense… But it might not be so quick. I don’t know why we haven’t done it already 🤷‍♂️ [14:52:33] [14:52:35] We could call it whatever we like, but I would suggest we give it the name we would give to the numeric type plus a string to indicate it is the string representation of that type. (re @Nikki: what would the string type be? "string that shouldn't be a string"? seems like it would make more sense to implement numbers tha...) [14:55:20] don't forget that there isn't a single string representation of a number [14:58:39] "10" can be ten, two, eight, sixteen, etc, depending on the base, the number ten can be written "10", "１０", "X", "١٠", etc [15:24:10] Indeed. So we will need different string representations of the same number in any event. And we will generally want to convert from any supported string representation to the underlying numeric representation and back to the original string representation (or to any other representation). (re @Nikki: "10" can be ten, two, eight, sixteen, etc, depending on the base, the number te [15:24:11] n can be written "10", "１０", "X", "١٠", etc)