def numeric_key(user_id):
    """Sortable integer key for a user id from ids.make_id."""
    return int(user_id)