While I am admittedly less familiar with SD cards (since marshmellow was prone to corrupting them, I've just stopped using them), I am assuming they need to be formatted. As a result how big is a formatted SD card? Similar to HDDs, 32 gigs isnt 32 usable gigs (due to formatting).