use // instead of / when rounding timestamp in Lease