<<< mml $$\genfrac{}{}{}{}{854513}{138}=\genfrac{}{}{0.1ex}{}{854513}{138}$$ >>> native [ EFraction NormalFrac (ENumber "854513") (ENumber "138") , ESymbol Rel "=" , EFraction NormalFrac (ENumber "854513") (ENumber "138") ]