Definition:Fractional Part Function