The comment says half the time, but the code divides by 4.