On 32-bit `x86` compiling with `-C soft-float` produces a binary but judging from the generated assembly this option is silently ignored. Even if it's silly to expect this to work in absence of library support, shouldn't a warning be printed at least?