as well as organized a local JuliaCon in Eindhoven themselves
You can imagine what a company like Boeing might be interested in when it comes to a programming language.
julia> sin(1.461920290375737576933544899379e+31)
-0.9468766486679395
julia> sin(parse(BigFloat, "1.461920290375737576933544899379e+31"))
0.6864670207863400975666631018263839509022548965872940746039593018855528710432756
Fricas is better in this regard, some links:https://en.wikipedia.org/wiki/FriCAS
https://github.com/fricas/fricas
http://www.euclideanspace.com/prog/scratchpad/fricas/
EDIT: some info about FriCAS: it's implementation is currently based on Common Lisp, on top of which a language called "Spad" (short for Scratchpad) is implemented. Fricas is a fork of the Axiom computer mathematics system, which in turn is a continuation of Scratchpad. EDIT: and, at least with SBCL, it can use GMP for bignum.
I only skimmed the article, but I believe Fricas supports all uses of Julia mentioned in the article, and more, like advanced symbolic integration.
https://docs.sciml.ai/ModelingToolkit/dev/
There is also a project by Hilding Elmqvist, who worked for Dassault on Dymola (the leading commercial implementation of Modelica). His project is Modia.jl:
https://github.com/ModiaSim/Modia.jl
I can personally feel the Julia community settling on MTK, but Modia was ahead in the early stages of dynamic system simulation in Julia, and I believe MTK has drawn a lot of inspiration from each Modia and Modelica. Modia is a bit more ergonomic while also being the first to integrating things like 3D viewers and a complete multibody package by years, with Julia Computing only now catching up [1]. MTK has a better support for back-end solvers and holds a lot of promise to leapfrog Modia, especially since the release cadence for Modia seems to have slowed.
[1] https://github.com/JuliaComputing/Multibody.jl