M/arithmetic fixes

and improved error messages etc.
afaik this test validates that no exception is thrown because i don't see any assertion... if so please add a comment