update qsort
update church numerals