trunc_exp avoids infinities