2 ms·They divide by sqrt(2) and round to an integer.by Rexxar 7y agoThey divide by sqrt(2) and round to an integer.