Sorry, just noticed: this import isn't used after the as_int change, so should be removed.