Added a comment to the binary logarithm comment that explains the formulation