MCS doesn't check for int64 overflow casting from TIMESTAMP to DECIMAL

MCS doesn't check for integer multiplication overflow calling CAST(X DECIMAL(Y,Z)). So the integer value in IDB_Decimal received from funcexp multiplied by scaler multiplier can overflow int64 range and produce an unexpected value.