Add DIGITSUM procedure AND specs