integer factorizations