docs: public void push(double value)
      {
          if (top >= stack.length)
          {
              stack = Arrays.copyOf(stack, (int) (stack.length*growFactor));
          }
          stack[top++] = value;
      }