Use checked arithmetic in types and state proc#1009

Merged

michaelsproul merged 2 commits intomasterfrom checked-arithmetic

Apr 20, 2020

+525-169

Commits on Apr 17, 2020

Use checked arithmetic in types and state proc
michaelsproul
committed

Commits on Apr 20, 2020

Address review comments
michaelsproul
committed