> On Jul 7, 2020, at 8:18 AM, Juergen Schoenwaelder > <[email protected]> wrote: > > On Tue, Jul 07, 2020 at 07:53:19AM -0400, Christian Hopps wrote: >> >> So do you think it's enough to just use decimal64, and not justify it's use >> over strings? > > I do not know what 'strings' are here.
Mentioned in the earlier mail
instead of
"decimal64"
use
"type string { pattern '[0-9]+(\.[0-9]+)?'; }"
> In the xml and json encodings, everything finally has a string
> representation. But what matters is how the strings are interpreted
> since computers internally often do not use strings when it comes to
> numbers or addresses or ...
But they can operate with arbitrarily precise numbers (e.g., python mpmath, or
even decimal with some arbitrarily large precision specified).
Thanks,
Chris.
>
> /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/>
>
signature.asc
Description: Message signed with OpenPGP
_______________________________________________ netmod mailing list [email protected] https://www.ietf.org/mailman/listinfo/netmod
