array_types.f32