Added getter for int