Type Definition Realtype
Other items incvode_wrap
type Realtype = realtype;
The floatting-point type sundials was compiled with