fix 0^0 definitions