LeventErkok/sbv — Issue #33: Add integer shifts
Author: LeventErkok
Created: 2011-12-06 17:11:37+00:00
State: open

In terms of mult/div for the SInteger type