[OpenMesh] TriMesh traits with double precision?