Dividing decimals by integers