Title: Robust algorithms in a program library for geometric computation