On 6/15/2021 7:47 PM, Will Martin wrote: > We generally don’t add zeros to the left of the most significant > non-zero number to the left of the decimal place because doing so > doesn’t tell you anything meaningful. Look up p-adic numbers. -- SuStel http://trimboli.name