python: command-line args aren't type checked/casted

[djs55]

This means that integer parameters like 'size' end up slipping through as strings.