Switch lowering: use uint32_t for weights everywhere