Revert "Fix type of - to not be wrong on negative fixnums."

The math library is relying on the current broken behavior. Revert until
we can fix it.