Fix indents in numeric.c