ReallyBigNumber times ReallyBigNumber works