Yes, it's INSANE.
Probably not even rounding error.
I remember agonising whether we'd paid too much for our current PPOR in 2001. We went up to $230K, they were at $243K and not budging. (I think that was exactly what they needed to finalise a bitter divorce.) So we just "bit the bullet"...