Code Editor : numerictypes.py