>>>>> "Robert" == Robert Dodier writes:
Robert> I guess cutting out any floating point stuff other than
Robert> double floats is OK by me. But ideally the non-Maxima part
Robert> of the rng would be preserved so that anyone could lift it
Robert> and cut off the Maxima stuff. Maybe I'll add a GCL-only
Robert> test to branch to %random-single-float if the argument
Robert> is a short float. I don't really have any strong feelings
Robert> one way or another.
Neither do I, so I'll leave it up to you. :-)
Ray