As with everything 'optical disc' related, the 25GB value is the unformatted value and is using 1000 as the divider, not the true 1024.
The real size would be:
25,025,314,816 bytes = 24,438,784 KB = 23,866 MB = 23.31 GB
That's the *best case* senario.
If the disc is formatted with what's known as 'spare areas' for error correction etc (part of the blu-ray standard), that size will be smaller still.