It might be a lot easier to check the ratio "by hand" (by counting rotations etc) if it's numerically simple. (IIRC in some earlier videos he noticed that the pulley size ratio wasn't producing the expected movement ratio, because they were built as an obvious 8:1 or 10:1 or something, and didn't match - which led to him figuring out the subtleties of the design - I can easily imagine wanting to preserve that aspect just for debugging, at that point, even if you now have correct math.)