Inductive float32T : Set := Float32 {
  f32 : R
}.
