Inductive float16T : Set := Float16 {
  f16 : R
}.
