[Python-ideas] Fwd: Way to check for floating point "closeness"?