~> qalc > 0xa0000000 * 10 mod 2^32 -> hex mod(2684354560 × 10; 2^32) = 0x40000000 > 0x50000000 * 10 mod 2^32 -> hex mod(1342177280 × 10; 2^32) = 0x20000000