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