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