Dividing decimals with integers