Fix issue #11: float to int returns incorrect result for large integers

If the value is large, use the normalization shifter to
perform a left shift on it.