softfloat

handle saturated versions of truncations, other fixes

traps

clean up

works like in tests now

fixing compatibility