add more JSON test cases and fix some issues with simplified arithmetic