(* 1.0 +. e *. 2.0 -> 1.0 +. 2.7182 *. 2.0 -> 1.0 +. 5.4364 -> 6.4364 *)