BUG #16813: error to solve the problem "Windows could not stat file - over 4GB"

The following bug has been logged on the website:

Bug reference: 16813
Logged by: Michal C
Email address: c_michal(at)poczta(dot)onet(dot)pl
PostgreSQL version: 13.1
Operating system: Windows 10 64 bit
Description:

Sorry my english is terrible

I tested part of the solution https://commitfest.postgresql.org/30/2189/
for error
https://www.postgresql.org/message-id/15942-58fbac022aa82a2f@postgresql.org
the above solution should solve this problem as well

my PG version: PostgreSQL 13.1, compiled by Visual C++ build 1914, 64-bit
testing method
step 1:
show data_directory;
step 2:
copy (select
to_char(number,'0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000')
from generate_series(1,1024*1024*2,1) d(number)) to 'C:\Program
Files\PostgreSQL\13\data\my_data_01.txt';
step 3:
with files as (select * from pg_ls_dir('.') f(file) where file ilike
'my_data_01.txt')
, files_info as (select file, (pg_stat_file(file)).* from files)
select * from files_info;
Result is: could not stat file "my_data_01.txt": Unknown error