Floating point behaviors are well understood. This type of problem shouldn’t happen if your developers are qualified.