There was a i32 -> f64 type cast problem fixed by this PR https://github.com/adsharma/py2many/pull/204 https://github.com/adsharma/py2many/pull/204 Also added

There was a i32 -> f64 type cast problem fixed by this PR https://github.com/adsharma/py2many/pull/204 https://github.com/adsharma/py2many/pull/204 Also added this benchmark as a test case, so we don't regress.