Floating-Point Formats and Deep Learning