numeric.c: Comment tweak