Re: [racket-dev] Adding pi.t

2014-04-21 Thread Matthew Flatt
The definition (define pi.t 3.1415926535897932385t0) will work even on platforms where extflonums are not supported. On those platforms, no operation other than printing will work on the number, but reading and printing will work (and printing simply writes the original representation). At Mon

[racket-dev] Adding pi.t

2014-04-21 Thread Neil Toronto
While adding racket/extflonum's exports to Typed Racket's base type environment, I realized that we don't have an 80-bit pi constant. I considered exporting this definition from "racket/extflonum.rkt": (define pi.t (extfl* 4.0t0 (extflatan 1.0t0))) (Multiplication by 4.0t0 is exact if it d