undo CheckExact broadening for RHS of optimised arithmetic expressions as Python would still evaluate it to get the right subtype as result