Add floating type specification through cmake.

The modifications make possible to switch from float to double at cmake time.
This could be extend to ginac type. But the latter has not been tested.