... based on the floating point ABI being used by the compiler (which do you choose, a hard or soft option?)