int128 renamed to uint128; casting works in cython but not in c