Hi Carsten,
> From: Carsten Bormann
>
> All this considered, I’m leaning towards ".base10".
> I do think this change would reduce the chance of users assuming that decimal fractions are supported. However, I understand there is ambiguity in both cases. I don't feel strongly about the change. I understand why .integer is not a viable option, and now have a clearer understanding of why decimal was used.
Thanks,
Darrel
|
-- last-call mailing list -- last-call@xxxxxxxx To unsubscribe send an email to last-call-leave@xxxxxxxx