safe_numerics/doc/proposal.pdf