xpile 0.1.615

Polyglot transpile workbench (Python/C/C++/Rust/Ruchy/Lean ↔ Rust/Ruchy/PTX/WGSL/SPIR-V) with provable contracts at every layer.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

# PMAT-657: divmod(float, float) → (a // b, a % b) over the float ops. The int
# path inlined a FloorDiv/Mod tuple, but a float arg fell through to an undefined
# free divmod() call (E0425). The float ops already implement CPython's float
# divmod (sign follows the divisor), so the tuple matches divmod exactly.


def dm_pos() -> float:
    q, r = divmod(7.5, 2.0)
    return q * 100.0 + r


def dm_neg_dividend() -> float:
    q, r = divmod(-7.5, 2.0)
    return q * 100.0 + r


def dm_neg_divisor() -> float:
    q, r = divmod(7.5, -2.0)
    return q * 100.0 + r