type-level integer multiplication.