Fractional Part Function Properties