See https://floating-point-gui.de/errors/comparison/
the relative margin error
true when a and b are within a relative margin error.
See https://floating-point-gui.de/errors/comparison/