Error-free boundary evaluation based on a lazy rational arithmetic: a detailed implementation.