soft-fp: fix floating-point to integer unsigned saturation.