No need to cast a zero