y=greatest integer x