Convert f16.c to C++