I'm a bit worried that this will not work as intended for floating point numbers because of round-off error. Am I being overly concerned?