Widening Integer Arithmetic. - Kevin Redwine; Norman Ramsey (CC, 2004)