numeric.h example usage