Can't access to the trashbin

The solution is on this page:

I fixed it locally by explicitly casting to int in method getSize() in AbstractTrash.php. It now looks like this now:

public function getSize(): int {
   return (int)$this->data->getSize();
}

Can you please include this in the code of Nextcloud?