src/share/numericdef
