Multiplication overflow should make the predicate fail

[dstelzer]

See here for discussion. It's odd that ($ times $ into $) is the only math predicate that returns an incorrect result instead of failing when a calculation overflows. It would be nice to fix that.