Very cool, but I wonder why did he define foot as:
(setq foot (* 0.3048 m))
And not
(setq foot (* 12 inch))
It comes to the same thing, but inch is defined in metric as 2.54 cm and the foot is a derived unit of the inch. But this way it clearly spells out the dependency.
Im not criticizing, it was his library for his use, I'm just wondering if there is there a deeper meaning beyond "God enough"?