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