The greatest integer