No audio as i shot in hfr. I guess it could be around 180-200mbps in vbr? It could probably peak at higheer bitrate if the scene was busier? It does say "intra 4k lt so we know its not longgop.I
I make it about 160Mbs? The number of seconds must be 1340/24, which would give a file size of 160*1340/24 Mb, and divide by 8 to get MB - so would give about 1,117MB - pretty close to 1.13 GB.
May not be as simple as that though as your 1.13GB must include audio and I'm not sure if quoted video bitrates normally do? But yes, it's pretty heavily compressed, even allowing for the efficiencies inherent if it's long-GOP encoded.
(For 4K at normal I-frame AVC type codecs, you can get the bitrate by roughly multiplying the frame rate by 10 to get the bitrate in Mbs. Hence for normal I-frame 4K I'd expect 10x120=1,200Mbs. So it's of the order of an eighth of that. Long-GOP coding will make up for quite a lot of that, but even so.......)

