If so, he could try the EABI port, which gives a significant floating point performance boost.
About a factor of 11 increase in FP speed in fact. Install Debian armel and help them complete it - see the links in the first line of wiki.debian.org/ArmEabiPort. You'll have the fastest slug on the planet :) M