Fixes int_options() custom tag to select the right value whether it's given a string or an int (#2806)
Fixes int_options() custom tag to select the right value whether it's given a string or an int (#2806)

* Fixes int_options() custom tag to select the right value whether it's given a string or an int

* More efficient coercion

magfest/ubersystem,RAMSProject/rams,magfest/ubersystem,RAMSProject/rams,magfest/ubersystem,magfest/ubersystem,RAMSProject/rams