Software Floating point unterstützung unter Linux