In contrast to the solving algorithms, parsing and printing currently may introduce errors due to rounding. For printing the exact result, one can use the flag -f ExactBoundaries.
