Double-precision floating point type, also known as a flonum. More...
#include <types.h>
Double-precision floating point type, also known as a flonum.