Re: [math-fun] Quantizing a partition of the number 1