3 ms·

Thank you for explaining. I had thought of type errors as different representations of numbers, for example.