minor tweaks to get IntFromIDK.test_parameters to work