number-theoretic functions