bugfix → json: encode type for power