integer with ''