In relation to alexwlchan's answer:
Actually I believe the difference between what Finder reports compared to df is that Finder as of Moutain Lion (or even Lion?) reports disk space in multiples of 1000 (i.e 1kB is 1000B, as opposed to 1024B). df, having its roots in UNIX, I believe still uses the power of two system. In the man for df you'll see:
-b Use (the default) 512-byte blocks. This is only useful as a way
to override an BLOCKSIZE specification from the environment.
-g Use 1073741824-byte (1-Gbyte) blocks rather than the default.
Note that this overrides the BLOCKSIZE specification from the
environment.
-H "Human-readable" output. Use unit suffixes: Byte, Kilobyte,
Megabyte, Gigabyte, Terabyte and Petabyte in order to reduce the
number of digits to three or less using base 10 for sizes.
-h "Human-readable" output. Use unit suffixes: Byte, Kilobyte,
Megabyte, Gigabyte, Terabyte and Petabyte in order to reduce the
number of digits to three or less using base 2 for sizes.
-k Use 1024-byte (1-Kbyte) blocks, rather than the default. Note
that this overrides the BLOCKSIZE specification from the environ-
ment.
-m Use 1048576-byte (1-Mbyte) blocks rather than the default. Note
that this overrides the BLOCKSIZE specification from the environ-
ment.
therefore, if you run df -H you might see similar numbers to what Finder reports, but normally (i.e. when df is invoked with no options, or as df -b, df -k, df -m, df -g or df -h) you'll see number based on power of 2.
In relation to the original question - I've also noticed around 13GB more disk space. I think this may mean that Mavericks comes with even less bloat, or maybe that more stuff is compressed on the disk compared to ML?