I wouldn't say it's the type of numbers, rather whether they're constant. (Const 0)^(var 0) is 0. (Var 0)^(const 0) is 1. (Const 0)^(const 0) is undefined.

I wouldn't say it's the type of numbers, rather whether they're constant. (Const 0)^(var 0) is 0. (Var 0)^(const 0) is 1. (Const 0)^(const 0) is undefined. (Var 0)^(var 0) is defined based on the functions that define those variables.