It's not huge. And the algo is certainly small, since it's the only coin currently on it, and there are already more efficient miners in production that will hit the market in Nov/Dec. It's a bad call IMO, especially with US customers shying away due to tariffs...
In this case Bitmain was very very late to the game, hence they are dumping their Decred miners before the big ones hit in a couple of months. The pricing reflects a payback in 2 odd months, exactly around the time the big ones come out. They had no choice...
By my rough math it looked like longer. Add in the President Dips**t tax @ 25% and it's just not profitable, even with $.11/kwh electricity, unless Decred's price goes up significantly (which isn't the pattern of coins Bitmain makes miners for, it's usually the exact opposite since, well, the L3 really)...