fractional part function properties