Fix an Interval multiplication bug caught via sampling.