Yes, it was.
To be honest, the more I think about it, the less I'm sure that the performance gains came from the presence of the FPU. Looking at the stats in Nisus, the document had 492 lines when Times 12pt was used and 568 for Courier 10pt. That's enough of a difference to explain the faster...