[math-fun] Heron triangles