mongo: floordiv