Inductive float64Vec2T : Set := Float64Vec2 {
  f64vec2_0 : R;
  f64vec2_1 : R
}.
