Any good resources on floating point accuracy proofs/literature?

As you say, it’s an often ignored topic while coming up again and again in software engineering