Global Mapper v25.0

Export to DTED in Global Mapper becomes Terraced

I tried exporting to DTED in Global Mapper and I noticed that the result always becomes terraced as if the height data becomes rounded. I already searched the forums and noticed several suggestions for exporting with 32 bits floating point except that when exporting to DTED, this is not an option. This terracing doesn't seem to happen in ArcGIS, suggesting that this might actually be a bug GM.