(* Example 1.5: *)
(* Carsten Schuermann *) 

let 
   val x = 17
   val y = 267
   val r = Real.fromInt x
   val s = r * Real.fromInt (~1 + y)
in 
  s
end