Saturday, August 19, 2006

doubles or floats

I decided to switch the default configuration for the floating-point type. Now using floats is default, and "--enable-double" enables use of doubles.

No comments: