Is that due how the cards are formatted when using FAT32, more along the lines of 3.75 GB or so?
This post would do a better job at explaining it than I could.
http://gbatemp.net/threads/actual-capacity-of-a-kingston-4gb-micro-sd-card.242473/#post-3004488