fix inadvertently introduced type-change in `Uint128 * Uint128`.