Add arithmetic and boolean test/validation and implementation