Is there some standardized way (e.g. some "official" module of such limit constants) to get the smallest positive float that Python will regard as distinct from 0.0? TIA! kj