Support for floating-point theory in Cameleer

Add support for floating-point numbers in Cameleer.