update to latest softfloat (really) and SoftPosit (posit32!!!)