Dividing Decimal Fractions by Powers of Ten