add an efficient system for arithmetic