fn montReduceLe2Q(x: u64) u32
fn montReduceLe2Q(x: u64) u32 { const m = (x *% Q_INV) & 0xffffffff; return @truncate((x +% m * @as(u64, Q)) >> 32); }