Multiply two decimals: where does the decimal point go?