Sure. I'm mad at the headline. The whole setup is a problem that shouldn't exist, because you're using 7-bit floats for an inappropriate range. When are you go

Sure. I'm mad at the headline. The whole setup is a problem that shouldn't exist, because you're using 7-bit floats for an inappropriate range. When are you going to run into 7-bit floats as the default? If you're not thinking about it, I suppose this could happen if you scale it up, but it's less surprising to say "4862057400958023983457609283094859 can't be represented exactly in floats".