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". cheers, Pádraig.