classmethods aren't RPython, so just call int() first