Convert AXBR and SXBR to softfloat