Multiplying Double Numbers