Division of decimals