Multiplication of a Decimal Fraction by a Power of 10