They're real, fwiw https://www.johndcook.com/blog/2018/04/15/eight-bit-floating...