Function float 

pub fn float(value: f64) -> TypedConstant

Create an explicit float constant

Examples

use cspsolver::prelude::math_syntax::float;
 
let pi = float(3.14159);  // Explicitly typed float constant