INFO [5000] Evaluating 'doubleDefaultPi'
  Returning '3.1415'.
