Multiplying decimals by integers