rename _infinite to _empty for clarity, #7