library .off files in double precision?

[vavasis at cs.cornell.edu (Stephen Vavasis)]

I am working on a mesh-generator for 3D polyhedral objects.  Since
it's not so easy to make 3D polyhedral objects "by hand" I thought I
would use the standard ".off" files supplied with Geomview such as
dodec.off, icosa.off, etc. as test cases.

The problem is that my mesh generator wants the input data in double
precision.  In particular, it wants the vertices of every face to be
coplanar to within a tolerance around 1e-15.  This is because the mesh
generator itself introduces some new tolerances, and so on.

I'm wondering whether you have versions of the "off" files like
dodec.off, icosa.off, and so on in which the vertex data is specified
to double precision.

Thanks,
Steve Vavasis