What's the difference between hard and soft floating point numbers? What's the difference between hard and soft floating point numbers? linux linux