Could you not just int cast the options?