add softfloat80 test