See [support.arith.types].