I don't know enough to give an answer. But I also wonder if Unity, using Box2D to empower games generating billions, paid him anything.