try to fix saturate, at least for integers