Generate numeric.c as well