Floating Point

[Martin_Ameskamp]

  Hi Olga,

  [ irrelevant message deleted ]

  Sorry about that, wrong button again (shouldn't use a mailer
  at 1 am, anyway...)

  Martin