> printf(".ps (u;\\n[.ps]*7+5/10>?%d)\n", minimum_size);
A bug, introduced in 2002 by Tadziu :-) To be device-independent,
`minimum_size' must have the `z' scaling indicator, as your
experiments clearly show.
Fixed in git, and thanks for the report.
Werner
