4 ms·

Dynamic types are very JIT-able. The first JITs ever were for a dynamically-typed language (Smalltalk).