Fixed some bugs in the parsers/interface. Added NAV and made the
solidity correct. Also, the last change to LargeDouble dissappeared when
I tried to revert, but it should be fixed to Gurans version