SelectableInt: make __mul__ return enough space to fit the result