general integer floor transition
Python 3.10.21
Optimization mode: 1
Lean: NOT RUN. ASD-STE100: SOURCE_UNAVAILABLE.
CHECKS 290
DECLARED_CHECKS_PASS
This pass covers the listed integers only. It is not a proof review,
not SRSD conformance, and not a verification of the archive.