math/numeric_limits: Accept anything convertible to a dtype
exact: Various cleanups

1. Comment tweaks here and there.
2. Factor SymbolicPoly out into a separate header.
3. Fix quantize to not divide by zero if all points are colocated.
exact: Resurrect a non-broken version of simplicity.py
exact/exact_tests: Test rightwards and upwards