pub const RedType_RED_TYPE_FLOAT: RedType = 12;