int.* rewritten to XFunction_python, little fix