Ya the ban on mixing stood out for me too. Javascript and many of its frameworks are too opinionated these days (attempting to govern the way users code) even

Ya the ban on mixing stood out for me too. Javascript and many of its frameworks are too opinionated these days (attempting to govern the way users code) even though that's inherently not in their purview. Also I didn't see anything about the internal format of these numbers. Normally this shouldn't be a concern, but could affect memory usage. Giving this proposal a vote of no confidence, even though the need for arbitrary precision is high.