12.4 Decimalen uitrekenen