I31

see http://gsd.uwaterloo.ca:8888/question/152/determine-the-right-bitwidth