Re: [Python-ideas] real numbers with SI scale factors: next steps