Twice as fast seems like an underestimation to me. Most of the benchmarks I've ran in my time show that the 25MHz 040's I've owned have been 1.5 - 2x as fast as 030's running at 50MHz, i.e. 3-4x faster per clock.
This, of course, is on boards having their own Fast RAM. The stock 3640 board for the A4000 is crippled by the memory interface.