eval: --fmt shorthand
max constituents correct approximation