The problem is not that RPi doesn't have the horsepower. It does - but you've got to use Videocore IV. Hopefully there'll be some good compiler with at least intrinsic support for it.