When I was a customer, Free gave you eight (or was it 16?) /64 (as it appeared in the UI[0], I seem to recall they may not all be contiguous), 7 of them you could use for prefix delegation (can't recall why using the first one caused issues, IIRC it was special cased in some way as the "main" one that the Freebox wants to manage). Also it was 6rd, not purely native IPv6. Hopefully they changed that because latency was bad enough the devices would often pick IPv4 through Happy Eyeballs and throughput was a half to a tenth of the v4 path.

After that, I had a whole native /56 at Red by SFR.

Currently I'm at Sosh by Orange and I have a native /56.

[0]: https://lafibre.info/remplacer-freebox/freebox-erl-et-ipv6/?...