We probably should not do this until we're willing to give PEP 8 guidance recommending operator.index() as preferable to int() for all cases needing integer offsets.  Maybe we do want to go down that path or maybe we just stick with "practicality beats purity" and not create any new learning issues.  The int() function is popular and understandable, but it is rare to find a user who knows and cares about index().  ISTM that randrange(3.0) isn't a problem in real life.