The Rocketlauncher is a doublercard. Its designed for the a2630, it works with 25 MHZ. If you use a rocketlauncher on it. It works with 50 MHZ.
Your GVP 1230 is clocked at 40MHZ, if you use the rocketlauncher on it, i think you will kill the rocketlauncher with 80MHZ.
If you ever sell your Rocketlauncher, i will buy it.
:-)
If you want a FPU, i have one.