[m-rev.] for review: Improve error message for options that require int arguments.

[Zoltan Somogyi]

On Wed, 20 May 2026 16:14:21 +1000, Peter Wang <novalazy at gmail.com> wrote:
> The getopt modules reported an unexpected argument to an option taking
> an integer argument with the wording:
> 
>     option `--FOO' requires a numeric argument; `ARG' is not numeric
> 
> but this could be misleading when ARG is a floating point value,
> or ARG is an integer value that is out of range of a Mercury int.

That is fine.

Zoltan.