4 ms·

Well done! In any case, Julia today is a very different language from the one that the original post discussed.