Bug 845125. Fix impromper use of CheckedInt.

Previously we're missing the multiplication.