add church numerals