Code Editor : numeric.pyi