I have a mySQL table with pitcher stats. The innings pitched field is a float, because a pitcher can pitch partial innings, such as 3 1/3, which is stored as 3.1. When I am adding a pitchers innings pitched, I need to be able to tell when it the number after the decimal gets to 3 or greater, to increment the number before the decimal, so if they pitched 10.3, that should be 11, or if they pitched 10.4, that should be 11.1. How can I do this?