Make signed integer into PluralOperands be infallible

[sffc]

There's not a reason it needs to be fallible. We should use unsigned_abs instead of checked_abs.

This is feedback from @markusicu.