7 ms·

Nice. Maybe an easier^3 could be: 1/3 = 0.xyz 4/3 = 1.xyz Meaning (shl,2) leaves the same digits after the decimal point. So it must be 0.010101...