leqP', compare_nat'