Rounding of Polytopes in the Real Number Model of Computation | Synapse