Double precision floating point type (double)
Source position: aliasctp.inc line 53
type cdouble = UnixType.cdouble;