On Tue, May 14, 2024, 3:59 PM Pádraig Brady <p...@draigbrady.com> wrote:
> On 14/05/2024 17:36, Nikolaos Chatzikonstantinou wrote: > > See attachment. > > Well just above your new mention of floating-point, we have: > "NUMBER need not be an integer". > How about I adjust your patch to adjust that text to say: > "NUMBER can be an integer or floating-point". > Sounds good! Either I missed it or my system had an older man page.