> The only thing I disliked about this is the fact that it is overly > conservative on powers of 2; i.e., the refresh rate on 64 chars is > computed as 4 rather than 5. I'd really want IntInf.log2 to return the > ceil rather than the floor. Check out my latest attempt. > Looks correct, but a little redundant. How about: I like it.