On Tue, Jul 07, 2020 at 08:27:19AM -0400, Christian Hopps wrote:
>
> Mentioned in the earlier mail
>
> instead of
>
> "decimal64"
>
> use
>
> "type string { pattern '[0-9]+(\.[0-9]+)?'; }"
>
And then everybody implements what he/she likes? That would be a big
step backward since every implementation will then interpret the
numbers differently.
/js
--
Juergen Schoenwaelder Jacobs University Bremen gGmbH
Phone: +49 421 200 3587 Campus Ring 1 | 28759 Bremen | Germany
Fax: +49 421 200 3103 <https://www.jacobs-university.de/>
_______________________________________________
netmod mailing list
[email protected]
https://www.ietf.org/mailman/listinfo/netmod
