(I am pretty sure GHC uses GMP for its core math routines, though.)
Exactly, so I don't understand in what sense we could say GHC is an example of languages that "do as well with their native numerical tower"?
http://hackage.haskell.org/trac/ghc/wiki/ReplacingGMPNotes
(I am pretty sure GHC uses GMP for its core math routines, though.)