It is probably a good idea to use the numeric_t typedef in our C code as well