To fit well with powers of two, we really want to think about multiply the whole thing by 0.8 and then divide by 8. So adding one right shift to two right shifts gets us 0.75, which isn’t too ...