If it's 13.1 Irving is right. There are 13.1 miles in a half marathon.