10000 DEXT = 7612.5 DKK

1.0 DEXT (DEXTools) = 0.76125 DKK (Danish Krone)
1.0 DKK (Danish Krone) = 1.3136 DEXT (DEXTools)