Implemented formal arithmetics