Note that I'm using __VFP_FP__ to indicate compilation with VFP-format floating-point data. There doesn't (currently) seem to be a standard define for this purpose. __VFP_FP__ was suggested by Richard Earnshaw.
shared.