factorize_int32