let make_c_float = function
  | 2 -> Float16
  | 4 -> Float32
  | 8 -> Float64
  | 12 -> Float96
  | 16 -> Float128
  | size -> WpLog.not_yet_implemented "%d-bits floats" size