En mängd af decimalererhållas