softfloat: Add float*_min() and float*_max() functions