Modeling Exact Geometry Without Simplicity