In issue #37119, I introduced a _flag argument to .solve_integer that is passed to pari's qfbsolve function. However, the current API is not ideal, as the _flag argument is not human-readable. It would be nice to replace it with sensible names, such as primitive=False.