How to verify widening conversion?

[quazirfan]

I am trying to understand why I can not see int to float widening in Python bytecode.

here is the code:

import dis
dis.dis("5.0 == 5")

Output:
0 0 RESUME 0

1 2 LOAD_CONST 0 (5.0)
4 LOAD_CONST 1 (5)
6 COMPARE_OP 2 (==)
12 RETURN_VALUE

If the widening is not present in the bytecode - is there another way I can verify it?

buran write Apr-08-2023, 06:37 AM:
Please, use proper tags when post code, traceback, output, etc.
See BBcode help for more info.

[Gribouillis]

If the widening is not present in the bytecode - is there another way I can verify it?

By widening, I suppose you mean the conversion from int to float that may occur when the expression 5.0 == 5 is evaluated. In CPython, this is done in the C function float_richcompare() of Objects/floatobject.c in the source tree, see the section that starts with else if (PyLong_Check(w)) {.... This part is rather tricky because Python integers can be arbitrary large.