We use a SA1100. None of the ARM chips, except for the ARM7500FE, have got floating point - that was the only one. I have a feeling that the SA1500 had some sort of attached media processor for doing FP intensive stuff (well, DSP type stuff) but it wasn't actually a FP.

Hugo