% From The Art of EyeProlog, Chapter 40.
?- V is 0+(3.2+11).
   V ~~ '14.2000'.