3 ms·

Also find it odd that Google's calculator doesn't pick up that symbol in unicode for currency conversion.