Add allow_overflow to positive factorization
Add signed factorization