Use default int type for values from python