From: Michael Neumann <mneumann@...>
Date: 2004-06-03T02:34:23+09:00
Subject: Re: [RCR] Floating point division operator /. (or fdiv method)

On Thu, Jun 03, 2004 at 02:00:02AM +0900, Simon Strandgaard wrote:
> Michael Neumann <mneumann@ntecs.de> wrote:
> > My proposal is to add a /. operator, that treats both arguments as
> > floats, so that
> > 
> >   1 /. 2        # => 0.5
> 
> Hmm. that could be useful.. though I rarely uses floats.
> 
> Watchout slashdot not suis you for sealing their name  :-)

No the name actually comes from Ocaml's /. operator :-)