E_ACSL.Typed_numberManipulate the type of numbers.
val add_cast :
loc:Frama_c_kernel.Cil_types.location ->
?name:string ->
Env.t ->
Frama_c_kernel.Cil_types.kernel_function ->
Frama_c_kernel.Cil_types.typ option ->
Analyses_types.strnum ->
Frama_c_kernel.Cil_types.term option ->
Frama_c_kernel.Cil_types.exp ->
Frama_c_kernel.Cil_types.exp * Env.tadd_cast ~loc ?name env kf ctx sty t_opt e convert number expression e in a way that it is compatible with the given typing context ctx. sty indicates if the expression is a string representing a number (integer or real) or directly a C number type. t_opt is the term that is represented by the expression e.