So with the proposal, you'd likely do something likefrom math import nan, infCouldn't you just instead putnan, inf = float("nan"), float("inf")at the top of your script? I don't really think this is any more verbose than an import from the math module. (Unless you're already doing an import star from math)