Rewrote code in polyhedron_module to find boundary vertices. No longer
uses floats.