What Is 32-Bit Float Audio, and Should You Record In It?