Convert types for input arguments

The python command line options apparently all get converted to strings, so we have to convert them to numerical types by hand.

Should be both main and 24.0 - needed for both

Potentially addresses ATR-28830