I think you should just try and see what happens...
Worst case scenario is that the FPU fries and dies, or it gets a little buggy. Overclocking from 33 to 40MHz should be no problem IMHO.
Load in some prog that uses the FPU extensively and run it for some hours, to check the stability of the FPU.
Good luck!
