Please just put the integers here. I don't think we should encourage this.