[CCode (cname = "double128", has_type_id = false, cheader_filename = "float128type.h")]
public struct Double128 : double {
}