3 ms·

I mean, that’s fine, my only point it is not obvious. And you are turning + into a partial function, where it is not usually