for a, b being Real st a >= 0 & b > 0 holds
a to_power b >= 0