Core controller updated to use the OptPositiveInteger option