}

    @Override
    public @Nullable E floor(@ParametricNullness E e) {
      return delegate.floor(e);
    }

    @Override
    public @Nullable E ceiling(@ParametricNullness E e) {
      return delegate.ceiling(e);
    }

    @Override
    public @Nullable E higher(@ParametricNullness E e) {
      return delegate.higher(e);
    }

    @Override