@knowtheory @zubakskees they just did it backwards or else they figured the average wikipedia foot is 4x regular