Code Editor : integer.rbs