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 netmod@ietf.org https://www.ietf.org/mailman/listinfo/netmod