Multiply 32 bit point now works correctly.

Errors were due to literal Int values not warning about overflow.