Multiplying decimals by one-digit numbers