Mael Rouxel-Labbé e183b52f6d Convert to double using CGAL::to_double ...

Since not every exact number type can just be casted to double like that

2019-04-29 16:08:37 +02:00

..

CGAL

Convert to double using CGAL::to_double

2019-04-29 16:08:37 +02:00