greatest integer (x)