[math-fun] Heronian triangles (google knows more than us)