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