Definition:Integer Part