But floats are not the right representation for values that need to exactly match, like an ID, to be sure.
If I’m off by half a cent it’s annoying. If I’m off by half a row I get nothing.
The thing is that almost all of the problems we had in my initial story came from choosing system defaults. All except the PK algorithm.