title_body: What are some examples of mathematical conlangs? What are some examples of mathematical conlangs?
  I'm curious as to if there are any full existing conlangs that allow you to do arithmetic or mathematical manipulations from a conlang perspective.
  The closest that I've found for this is this set of short clips on YouTube, Inventing a Number System. But I'm curious as to if there might be more examples, especially examples that have a mathematical grammar of some sort.
  (Note: I do apologize if this post is a bit fuzzy, as the idea is still kind of fuzzy in my mind. This is also my first post to this forum. I can revise the post if needed.)
  Thanks.
upvoted_answer: There's a language based on stack-based programming languages (like Forth) that eliminates syntactic ambiguity called Fith. The name is a deliberate pun on Forth.
  
  FrathWiki
  2019 Smiley award page
  Fith grammar (archived)
  
  Basically, when parsing the language you have a stack of objects that you have to keep track of, as well as some global state like the default number that can be explicitly changed.
  The idea of layering a human language on top of a Forth-like grammar is flexible enough that you could extend Fith or make radically different design decisions without losing some of its nice properties.