Mining yield mult applied 2 times to asteroids

-25% mining yield from Admiral (so 0.75 multiplier when mining or 1.33(1/0.75) to revert the multiplier)

When i drop this asteroid (check img attached), the Δ in materials seems to be already pre multiplied by the global mining yield 0.75.
Isn't the yield mult applied a second time when an excavator mines that material?

By reverting the multiplication Δ*1.33 you get the original numbers shown by the UI (3.4M+1.2M).

Id                        before       after           Δ      Δ*0.75      Δ*1.33 
Quartz                     5581k       8048k       2467k       1850k       3281k
TitaniumOre                3310k       4172k        861k        646k       1146k

(these numbers come from TerrainManager.EnumerateLayers() - TerrainMaterialThicknessSlim.Thickness)

Hm would it be wrong to assume that it behaves like mined ore that you drop down again?
Otherwise you’d infinitely reduce the amount to 0 by mining/dropping/mining/dropping…

When you dump on the ground it gets multiplied 10*1.33=13.3, when you mine it back it gets divided 13.3/1.33=10.
Shouldn't the asteroid volume be 1.33x the materials count?

🤔