Initial sketch of using C calls for floating point operations