Inductive float64Vec3T : Set := Float64Vec3 {
  f64vec3_0 : R;
  f64vec3_1 : R;
  f64vec3_2 : R
}.
