Division involving decimals