Update of the spec, includes type float, new specification and big lifting on the substitution part